From: Wei Liu <wei.liu2@citrix.com>
Date: Thu, 29 Jun 2017 11:15:38 +0000 (+0100)
Subject: Config.mk: update mini-os changeset
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~1874
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=989563f97b3b255152c85c12b180a128e7c9202e;p=xen.git

Config.mk: update mini-os changeset

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
---

diff --git a/Config.mk b/Config.mk
index 1ddcd58a96..a295e33f79 100644
--- a/Config.mk
+++ b/Config.mk
@@ -269,9 +269,9 @@ MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 5920a9d16b1ab887c2858224316a98e961d71b05
 QEMU_UPSTREAM_REVISION ?= master
-MINIOS_UPSTREAM_REVISION ?= ca013fa9baf92f47469ba1f2e1aaa31c41d8a0bb
-# Tue Dec 13 15:02:02 2016 +0000
-# build: prepend OBJ_DIR to linker script
+MINIOS_UPSTREAM_REVISION ?= a207ecfd3ad09be5d0859749d8e433b4ce8efdd6
+# Thu, 22 Jun 2017 14:40:26 +0100 (15:40 +0200)
+# mini-os: use gzip -n
 
 SEABIOS_UPSTREAM_REVISION ?= rel-1.10.2
 # Wed Jun 22 14:53:24 2016 +0800